More from this Author
Found 4 books by Rajeev Alur (Editor)
Embedded Software
by Rajeev Alur (Editor), Insup Lee (Volume Editor)
Computer Aided Verification
by Rajeev Alur (Editor), Thomas A. Henzinger (Editor)
Hybrid Systems - Computation and Control
by Rajeev Alur (Editor), George J. Pappas (Editor)
Computer Aided Verification
by Rajeev Alur (Editor), Doron A. Peled (Editor)